It is often argued that the indispensability of continuum models comes from their empirical adequacy despite their decoupling from the microscopic details of the modelled physical system. There is thus a commonly held misconception that temperature varying across a region of space or time can always be accurately represented as a continuous function. We discuss three inter-related cases of temperature modelling — in phase transitions, thermal boundary resistance and slip flows — and show that the continuum view is fallacious on (...) the ground that the microscopic details of a physical system are not necessarily decoupled from continuum models. We show how temperature discontinuities are present in both data (experiments and simulations) and phenomena (theory and models) and how discontinuum models of temperature variation may have greater empirical adequacy and explanatory power. The conclusions of our paper are: a) continuum idealisations are not indispensable to modelling physical phenomena and both continuous and discontinuous representations of phenomena work depending on the context; b) temperature is not necessarily a continuously defined function in our best scientific representations of the world; and c) that its continuity, where applicable, is a contingent matter. We also raise a question as to whether discontinuous representations should be considered truly de-idealised descriptions of physical phenomena. (shrink)

Famous examples of conceivability arguments include (i) Descartes’ argument for mind-body dualism, (ii) Kripke's ‘modal argument’ against psychophysical identity theory, (iii) Chalmers’ ‘zombie argument’ against materialism, and (iv) modal versions of the ontological argument for theism. In this paper, we show that for any such conceivability argument, C, there is a corresponding ‘mirror argument’, M. M is deductively valid and has a conclusion that contradicts C's conclusion. Hence, a proponent of C—henceforth, a ‘conceivabilist’—can be warranted in holding that C's premises (...) are conjointly true only if she can find fault with one of M's premises. But M's premises are modelled on a pair of C's premises. The same reasoning that supports the latter supports the former. For this reason, a conceivabilist can repudiate M's premises only on pain of severely undermining C's premises. We conclude on this basis that all conceivability arguments, including each of (i)–(iv), are fallacious. (shrink)

While it is often said that robotics should aspire to reproducible and measurable results that allow benchmarking, I argue that a focus on benchmarking can be a hindrance for progress in robotics. The reason is what I call the ‘measure-target confusion’, the confusion between a measure of progress and the target of progress. Progress on a benchmark (the measure) is not identical to scientific or technological progress (the target). In the past, several academic disciplines have been led into pursuing only (...) reproducible and measurable ‘scientific’ results – robotics should be careful to follow that line because results that can be benchmarked must be specific and context-dependent, but robotics targets whole complex systems for a broad variety of contexts. While it is extremely valuable to improve benchmarks to reduce the distance be- tween measure and target, the general problem to measure progress towards more intelligent machines (the target) will not be solved by benchmarks alone; we need a balanced approach with sophisticated benchmarks, plus real-life testing, plus qualitative judgment. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what the (...) world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

Many philosophers have appealed to the PSR in arguments for a being that exists a se, a being whose explanation is in itself. But what does it mean, exactly, for something to have its explanation ‘in itself’? Contemporary philosophers have said next to nothing about this, relying instead on phrases plucked from the accounts of various historical figures. In this article, I analyse five such accounts – those of Anselm, Aquinas, Descartes, Spinoza, and Leibniz – and argue that none are (...) satisfactory. Should we abandon or restrict the PSR, then? I think that would be hasty, for many reasons. I therefore consider the prospects of explaining everything, including God, given the constraints of certain features of good explanations, and conclude with several observations about future approaches. (shrink)

I explore the view that the imago Dei is essential to us as humans but accidental to us as persons. To image God is to resemble God, and resemblance comes in degrees. This has the straightforward—and perhaps disturbing—implication that we can be more or less human, and possibly cease to be human entirely. Hence, I call it the spectrum view. I argue that the spectrum view is complementary to the Biblical data, helps explain the empirical reality of horrendous evil, and (...) offers an elegant rapprochement between the traditional view of hell and its rivals. (shrink)

Would the existence of extraterrestrial intelligent life conflict in any way with Christian belief? We identify six areas of potential conflict. If there be no conflict in any of these areas—and we argue ultimately there is not—we are confident in declaring that there is no conflict, period. This conclusion underwrites the integrity of theological explorations into the existence of ETI, which has become a topic of increasing interest among theologians in recent years.

I argue that Social Trinitarians can and should conceive of God as a group person. They can by drawing on recent theories of group agency realism that show how groups can be not just agents but persons distinct from their members – albeit, I argue, persons of a different kind. They should because the resultant novel view of the Trinity – that God is three ‘intrinsicist’ persons in one ‘functional’ person – is theologically sound, effectively counters the most trenchant criticisms (...) of Social Trinitarianism, and enjoys independent theological support from the biblical notion of ‘corporate personality’. (shrink)

The question I wish to explore is this: Does idealism conflict with common sense? Unfortunately, the answer I give may seem like a rather banal one: It depends. What do we mean by ‘idealism’ and ‘common sense?’ I distinguish three main varieties of idealism: absolute idealism, Berkeleyan idealism, and dualistic idealism. After clarifying what is meant by common sense, I consider whether our three idealisms run afoul of it. The first does, but the latter two don’t. I conclude that while (...) Moore’s famous common sense critique is sound against external world skepticism, against Berkeleyan idealism and dualist idealism it is unavailing. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

What are we to make of the cultural nonconformity of hardcore/punks? Is there any ethical value in the pursuit of cultural nonconformity? Distinct moral justifications can be teased from the lyrics of the hardcore/punk bands that we have grown up with and still love. The best explanation of what makes cultural nonconformity morally valuable, we believe, comes from John Stuart Mill: that it opens up new cultural space to oneself and to others, permitting "new and original experiments of living.".

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

In 2020, an international team of intercultural philosophers and African linguists created a multilinguistic game named Adinkra. This name refers to a medieval rooted symbolic language in Ghana that is actively used by the Akan and especially the Asante among them to communicate indirectly. The Akan is both the meta-ethnic name of the largest Ghanaian cultural-linguistic group of which the Asante is an Akan cultural subgroup and of a Central Tano language of which Asante-Twi is a dialect. The Adinkra symbols, (...) which have permeated Akan life and the arts, can be found e.g. on Asante royal staffs and gold weights. They are also loosely connected to Akan proverbs. The game Adinkra aims to enhance its players’ intercultural communicative, and moral philosophical understanding by matching Adinkra symbols with Akan proverbs. It was created for educational and therapeutical purposes. This article focusses on the rules, the making of Adinkra, its aims and objectives. The objective of this article is twofold. First, it focusses on the game itself. It elaborates on what its rules are and the content of the game. It also focusses on how playing the multilinguistic game, Adinkra can enhance intercultural understanding and communication. It, furthermore, concentrates on the results of a pilot reception study of this game in the Netherlands among intercultural groups of players. This study has proven that the Adinkra game stimulates creative thinking, engagement in dialogue and reflective ethical thinking. For this reason, the authors believe that it has a lot to contribute to intercultural educational programs with a focus on intercultural communication, philosophy and arts in both Africa and the global North. Finally, a section is devoted to the question of how the Adinkra game was developed and methodologically grounded in Gadamer’s playful hermeneutics, and the theories of the Wheel of the Intercultural Art of living and (African) Indigenous Religions. Secondly, the article focusses on the game’s oral-literary storytelling context and Akan moral ideas. It then throws the searchlight on the creative, therapeutic value and its potential to serve as a ‘cultural detox’. The authors and game makers think that being introduced to an African communitarian ethos hidden in the Adinkra symbols and Akan proverbs can help its players to develop a critical eye for the highly individualistic ethos of Western culture that, among others, is promoted by neoliberal thinking and praxis. The word praxis is used by the authors in the meaning found in educational contexts. Adinkra’s players are stimulated to reflect upon a different moral idea, which can change their mindset and put them into action to contribute to social awareness and societal change. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

With an eye on the future of global ethics, I argue that social-media technologies are not morally neutral tools but are, for all intents and purposes, a kind of agent. They nudge us to do things that are bad for us. Moreover, I argue that we have a duty to quit using social-media platforms, not just on account of possible duties to preserve our own well-being but because users are akin to test subjects on whom developers are testing new nudges, (...) and we ought to deprive them of their test subjects. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Whenever science returns a confident and univocal answer to a question, Trumping Naturalism enjoins us to accept it. The majority of contemporary philosophers are sympathetic to this sort of position. Indeed, several have endorsed it or something very close to it. Arguments for Trumping Naturalism, however, are scant, the principal one being the Track Record Argument. The argument is based on the fact that in cases of conflict, science has a better track record than non-scientific forms of inquiry such as (...) philosophy. My chapter investigates this argument. I enumerate and assess several objections to the argument, from footling objections to stronger ones. My conclusion is that the Track Record Argument is not as strong as imagined. (shrink)

In this article, I approach some phenomena seen predominantly on social-media sites that are grouped together as cancel culture with guidance from two major themes in Plato’s thought. In the first section, I argue that shame can play a constructive and valuable role in a person’s improvement, just as we see Socrates throughout Plato’s dialogues use shame to help his interlocutors improve. This insight can help us understand the value of shaming people online for, among other things, their morally reprehensible (...) views. In the second section, I argue that it is required for the proper functioning of democratic institutions that some views be excluded from the public sphere, which follows some Platonic ideas from the Laws. In neither case do I argue that this approach is good in an unqualified sense or even ultima facie good. However, I maintain that these important insights from Plato’s dialogues illuminate crucial aspects of how we should think about cancel culture. (shrink)

Katz denies that organisms created in a lab as part of a de-extinction attempt will be authentic members of the extinct species, on the basis that they will lack the original species’ defining biological and evolutionary history. Against Katz, I note that an evolutionary lineage is conferred on an organism through its inheriting genes from forebears already possessed of such a lineage, and that de-extinction amounts to a delayed, human-assisted reproductive process, in which genes are inherited from forebears long dead. (...) My conclusion is that de-extinct organisms can perfectly well have an ancient evolutionary history, contrary to what Katz claims. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

I argue that Plato believes that the soul must be both the principle of motion and the subject of cognition because it moves things specifically by means of its thoughts. I begin by arguing that the soul moves things by means of such acts as examination and deliberation, and that this view is developed in response to Anaxagoras. I then argue that every kind of soul enjoys a kind of cognition, with even plant souls having a form of Aristotelian discrimination (...) (krisis), and that there is therefore no completely unintelligent, evil soul in the cosmos that can explain disorderly motions; as a result, the soul is not the principle of all motion but only motion in the cosmos after it has been ordered by the Demiurge. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

Where does agency lie in musical performance? How is it expressed? Recent music scholarship has highlighted an increasingly prominent tendency to conceive of agency as not confined to any one individual or type of individual, instead being distributed across diverse individuals that can be found occupying performance situations. . This article uses two ‘percussion’ works from the 1970s by the composer John Cage, Child of Tree (1975) and its multi-performer elaboration Branches (1976), as a foil for engaging with these practical (...) and theoretical musical concerns, and for suggesting some heretofore underappreciated distinctions within the ongoing work on multi-agential performance. (shrink)

O artigo oferece uma breve exposição da biografia e do contexto histórico do filósofo neoplatônico Damáscio (c. 458 - c. 538) para, na sequência, apresentar a tradução de um dos seus poemas líricos do período final de sua vida. O procedimento adotado justifica-se pelo caráter lutuoso e decididamente pessoal dos versos, nos quais Damáscio lamenta consigo próprio as perdas sofridas no decorrer de sua longa e fascinante vida. Como veremos, tais perdas estão, em verdade, diretamente ligadas ao colapso do mundo (...) antigo e ao derradeiro golpe proferido por Justiniano contra a filosofia helênica pagã. (shrink)

This short article discusses the fact that the word ‘ancestor’ features in certain arguments that a) are apparently logically valid, b) contain infinitely many premises, and c) are such that none of their finite sub-arguments are logically valid. The article's aim is to motivate, within its brief compass, the study of infinitary logics.

The revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not be, (...) even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

O valor nutritivo do leite de ovelha é superior quando comparado aos leites caprino e bovino, apresentando maior teor proteico, lipídico, minerais e vitaminas. Os humanos evoluíram em estreito contato com a natureza, sendo o leite a primeira fonte de alimento desta espécie ao nascer. Durante milhares de anos, o leite rico em nutrientes, como fonte de alimento, era unicamente materno e só veio a ser consumido pelo homem após idade de amamentação com a domesticação dos animais, primeiramente às ovelhas (...) e as cabras há aproximadamente 13 mil anos, seguido da domesticação das vacas quatro mil anos depois. Desde então o leite tornou-se um alimento indispensável para o homem. O valor nutritivo do leite de ovelha é superior quando comparado aos leites caprino e bovino, apresentando maior teor proteico, lipídico, minerais e vitaminas essenciais para a saúde humana. Este leite apresenta três vezes mais proteínas em relação ao leite de cabra e de vaca, sendo aquelas consideradas proteínas de alto valor biológico contribuindo para uma melhor digestibilidade. Outra característica é a conformação estrutural e a quantidade de micelas de caseína e suas subunidades, que são assim como o leite caprino, menores que as do leite bovino, proporcionando menor sensibilização às pessoas alérgicas. Estudos sugerem que o leite de ovelha pode ser considerado o substituto ideal do leite bovino para pessoas alérgicas ao leite bovino devido ao elevado teor dos principais componentes do leite e minerais. Entretanto, foi verificado que anticorpos IgE de pessoas alérgicas reconhecem as αS1-caseína, αS2-caseína e β-caseína de leite ovino e caprino, mas caseínas do leite bovino são raramente ou não reconhecidas. Além disso, os polimorfismos genéticos das proteínas do leite estão associados com os parâmetros quantitativos e qualitativos e desempenham um papel importante na indução de diferentes graus de reação alérgica. A coloração do leite de ovelha é intensamente branca e homogênea, o que o difere do leite de vaca, pois essa característica está associada à ausência de β-caroteno pigmento precursor do retinol (vitamina A) impedindo que o leite tenha coloração amarelada como no caso do leite bovino. No leite ovino, o β-caroteno apresenta-se na forma convertida da vitamina A que não possui coloração amarelada e essa característica possibilita a produção de diferentes variedades de queijo. A caseína no leite de ovelha compõe 80% do total de proteínas do leite dos ruminantes, enquanto que está presente em 50% da composição proteica do leite equino e em menor porcentagem no leite humano. A caseína do leite de ruminantes difere com relação às características de tamanho, hidratação e mineralização. As micelas de caseína do leite de ovelha possuem maior mineralização e menor hidratação, sendo mais estáveis ao aquecimento quando comparadas à micela de caseína do leite de vaca. Outra importante característica refere-se à conformação molecular e sequencial de aminoácidos com impacto sobre sua digestibilidade, qualidade nutricional e termoestabilidade proteica. As proteínas do leite de ovelha consistem em elevada quantidade de caseínas (resistente ao calor) e proteínas do soro (sensível ao calor) responsáveis pela textura e viscosidade de iogurtes. Tecnologicamente, elas têm propriedades únicas que permitem a fácil conversão do leite em iogurte e queijos, não sendo necessária a adição de sólidos na produção do iogurte, como leite em pó, ou concentração dos sólidos do leite por tecnologia de membrana. Estudos com variantes da caseína do leite ovino representam uma abordagem eficaz para identificar a associação de características de importância econômica e melhorar raças para a produção de proteína do leite específica. As características da caseína no leite de ovelha são particularmente interessantes devido ao número elevado de polimorfismo, alterando a expressão de genes e influenciando o processamento de queijos. Em adição, enzimas presente no leite de ovelha possui atividade proteolítica e lipolítica (quebra de proteínas e lipídios). Elas auxiliam na maturação de queijos - resultando em compostos de aroma e sabor típicos, tornando-os únicos em suas características. O sabor e o aroma do leite de ovelha são suaves e adocicados além de possuir uma textura cremosa devido aos pequenos glóbulos de gordura que apresentam tamanhos menores que 3,5 µm. Esta peculiaridade no tamanho dos glóbulos gordurosos do leite ovino propicia que esse seja digerido mais facilmente. O leite ovino apresenta também altas concentrações de ácidos graxos poli-insaturados com benefícios à saúde como isômeros de ácido linoleico conjugado (CLA) presentes em maior concentração nesta matriz comparado ao leite bovino que são o cis-9 trans-11 e o trans-10 cis-12, responsáveis por ações anticarcinogênica, antiaterogênico e antiobesidade. Ainda com relação aos lipídios do leite de ovelha, as lipases têm um papel importante na produção de leite na glândula mamária. As lipases naturais do leite catalisam e hidrolisam os triglicerídeos, produzindo ácidos graxos livres (AGL). A atividade das lipases, em leite ovino, é cerca de um décimo das do leite bovino. Além disso, o padrão de hidrólise da gordura de leite por ovinos apresenta maior taxa em relação aos triglicerídeos - contendo ácidos graxos de cadeia média em relação aos ácidos graxos de cadeia longa. Os níveis de AGL em queijos de leite ovino são o resultado do processo lipolítico que ocorre durante o período de maturação. Alguns produtos lácteos derivados usando como matéria-prima o leite de ovelha - como iogurte grego e queijos - foram descritos como possuindo peptídeos inibidores da enzima conversora da angiotensina (ECA), sendo a maioria derivada da subunidade β-caseína. Também, alguns peptídeos derivados da κ-caseína, resultante da hidrólise de leite ovino pela pepsina, tripsina e quimotripsina, exercem atividade antioxidante. Em queijos tradicionais derivados de ovelha, como o Scamorza, foram verificados diversos peptídeos com ação inibidora da ECA e ação antibacteriana. Nesse contexto, o leite de ovelha é uma rica fonte de nutrientes e seu principal uso é na produção de queijos devido ao elevado conteúdo de extrato seco total, que contribui com alto rendimento da massa. Todavia, esta matéria-prima permanece inexplorada pela indústria de laticínios com uma visão de alimento funcional, visto que o leite e seus derivados são reconhecidamente ótimos carreadores de fibras prebióticas e bactérias probióticas - que trazem benefícios ao consumidor favorecendo saúde e bem-estar. Nesse contexto, o leite de ovelha apresenta-se como um alimento de grande potencial e uma valiosa alternativa para a indústria de laticínios - que pode aumentar a diversidade de produtos oferecidos ao consumidor. (shrink)

A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

Public discourse is often caustic and conflict-filled. This trend seems to be particularly evident when the content of such discourse is around moral issues (broadly defined) and when the discourse occurs on social media. Several explanatory mechanisms for such conflict have been explored in recent psychological and social-science literatures. The present work sought to examine a potentially novel explanatory mechanism defined in philosophical literature: Moral Grandstanding. According to philosophical accounts, Moral Grandstanding is the use of moral talk to seek social (...) status. For the present work, we conducted six studies, using two undergraduate samples (Study 1, N = 361; Study 2, N = 356); a sample matched to U.S. norms for age, gender, race, income, Census region (Study 3, N = 1,063); a YouGov sample matched to U.S. demographic norms (Study 4, N = 2,000); and a brief, one-month longitudinal study of Mechanical Turk workers in the U.S. (Study 5, Baseline N = 499, follow-up n = 296), and a large, one-week YouGov sample matched to U.S. demographic norms (Baseline N = 2,519, follow-up n = 1,776). Across studies, we found initial support for the validity of Moral Grandstanding as a construct. Specifically, moral grandstanding motivation was associated with status-seeking personality traits, as well as greater political and moral conflict in daily life. (shrink)

In this article, I argue that online echo chambers are in some cases and in some respects good. I do not attempt to refute arguments that they are harmful, but I argue that they are sometimes beneficial. In the first section, I argue that it is sometimes good to be insulated from views with which one disagrees. In the second section, I argue that the software-design principles that give rise to online echo chambers have a lot to recommend them. Further, (...) the opposing principle, serendipity, could give rise to serious harm, in light of the conclusion of the first section that sometimes we are better off being insulated from some content online. In the third section, I argue that polarization can be a useful tool for inculcating the appropriate attitudes in a person. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.